Search results for "Lebesgue measure"
showing 10 items of 21 documents
Symmetric and finitely symmetric polynomials on the spaces ℓ∞ and L∞[0,+∞)
2018
We consider on the space l∞ polynomials that are invariant regarding permutations of the sequence variable or regarding finite permutations. Accordingly, they are trivial or factor through c0. The analogous study, with analogous results, is carried out on L∞[0,+∞), replacing the permutations of N by measurable bijections of [0,+∞) that preserve the Lebesgue measure.
The arithmetic decomposition of central Cantor sets
2018
Abstract Every central Cantor set of positive Lebesgue measure is the arithmetic sum of two central Cantor sets of Lebesgue measure zero. Under some mild condition this result can be strengthened by stating that the summands can be chosen to be C s regular if the initial set is of this class.
Hausdorff measures, Hölder continuous maps and self-similar fractals
1993
Let f: A → ℝn be Hölder continuous with exponent α, 0 < α ≼ 1, where A ⊂ ℝm has finite m-dimensional Lebesgue measure. Then, as is easy to see and well-known, the s-dimensional Hausdorif measure HS(fA) is finite for s = m/α. Many fractal-type sets fA also have positive Hs measure. This is so for example if m = 1 and f is a natural parametrization of the Koch snow flake curve in ℝ2. Then s = log 4/log 3 and α = log 3/log 4. In this paper we study the question of what s-dimensional sets in can intersect some image fA in a set of positive Hs measure where A ⊂ ℝm and f: A → ℝn is (m/s)-Hölder continuous. In Theorem 3·3 we give a general density result for such Holder surfacesfA which implies…
A function whose graph has positive doubling measure
2014
We show that a doubling measure on the plane can give positive measure to the graph of a continuous function. This answers a question by Wang, Wen and Wen. Moreover we show that the doubling constant of the measure can be chosen to be arbitrarily close to the doubling constant of the Lebesgue measure.
Rearrangement and convergence in spaces of measurable functions
2007
We prove that the convergence of a sequence of functions in the space of measurable functions, with respect to the topology of convergence in measure, implies the convergence -almost everywhere ( denotes the Lebesgue measure) of the sequence of rearrangements. We obtain nonexpansivity of rearrangement on the space , and also on Orlicz spaces with respect to a finitely additive extended real-valued set function. In the space and in the space , of finite elements of an Orlicz space of a -additive set function, we introduce some parameters which estimate the Hausdorff measure of noncompactness. We obtain some relations involving these parameters when passing from a bounded set of , or , to th…
Specification on the interval
1997
We study the consequences of discontinuities on the specification property for interval maps. After giving a necessary and sufficient condition for a piecewise monotonic, piecewise continuous map to have this property, we show that for a large and natural class of families of such maps (including the β \beta -transformations), the set of parameters for which the specification property holds, though dense, has zero Lebesgue measure. Thus, regarding the specification property, the general case is at the opposite of the continuous case solved by A.M. Blokh (Russian Math. Surveys 38 (1983), 133–134) (for which we give a proof).
On a normal form of symmetric maps of [0, 1]
1980
A class of continuous symmetric mappings of [0, 1] into itself is considered leaving invariant a measure absolutely continuous with respect to the Lebesgue measure.
Stochastic differential equations with coefficients in Sobolev spaces
2010
We consider It\^o SDE $\d X_t=\sum_{j=1}^m A_j(X_t) \d w_t^j + A_0(X_t) \d t$ on $\R^d$. The diffusion coefficients $A_1,..., A_m$ are supposed to be in the Sobolev space $W_\text{loc}^{1,p} (\R^d)$ with $p>d$, and to have linear growth; for the drift coefficient $A_0$, we consider two cases: (i) $A_0$ is continuous whose distributional divergence $\delta(A_0)$ w.r.t. the Gaussian measure $\gamma_d$ exists, (ii) $A_0$ has the Sobolev regularity $W_\text{loc}^{1,p'}$ for some $p'>1$. Assume $\int_{\R^d} \exp\big[\lambda_0\bigl(|\delta(A_0)| + \sum_{j=1}^m (|\delta(A_j)|^2 +|\nabla A_j|^2)\bigr)\big] \d\gamma_d0$, in the case (i), if the pathwise uniqueness of solutions holds, then the push-f…
A Note on Algebraic Sums of Subsets of the Real Line
2002
AbstractWe investigate the algebraic sums of sets for a large class of invari-ant ˙-ideals and ˙- elds of subsets of the real line. We give a simpleexample of two Borel subsets of the real line such that its algebraicsum is not a Borel set. Next we show a similar result to Proposition 2from A. Kharazishvili paper [4]. Our results are obtained for ideals withcoanalytical bases. 1 Introduction We shall work in ZFC set theory. By !we denote natural numbers. By 4wedenote the symmetric di erence of sets. The cardinality of a set Xwe denoteby jXj. By R we denote the real line and by Q we denote rational numbers. IfAand Bare subsets of R n and b2R , then A+B= fa+b: a2A^b2Bgand A+ b= A+ fbg. Simila…
An optimal extension of Marstrand?s plane-packing theorem
2003
We prove that if F is a subset of the 2-dimensional unit sphere in $\mathbb{R}^3$, with Hausdorff dimension strictly greater than 1, and E is a subset of $\mathbb{R}^3$ such that for each $e \in F$, E contains a plane perpendicular to the vector e, then E must have positive 3-dimensional Lebesgue measure.